orthonormal set

subset of an inner product space (for example an euclidian or hermitian space) whose member vectors (possibly ordered into a family) are mutually orthogonal and have an unitary norm